More from this Author

Formal Methods for Components and Objects

by Frank S. de Boer (Volume Editor), Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)